## sem_destroy
